International - PDFSEARCH.IO - Document Search Engine

International
Results: 696225

#	Item
171	Vanina Saracino Associate Film Curator and Programmer Vanina Saracino is an independent curator and film programmer currently based in Berlin. She is the co-founder of OLHO, an international curatorial project about con Add to Reading List Source URL: artport-project.org Language: English - Date: 2018-03-24 05:59:40 Oswald de Andrade Tropiclia
172	SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-05-29 03:47:08 Theoretical computer science Logic in computer science Formal methods Logic Constraint programming Electronic design automation Satisfiability modulo theories Formal verification SMT Automated reasoning Satisfiability
173	2018 10th International Conference on Cyber Conflict CyCon X: Maximising Effects T. Minárik, R. Jakschis, L. Lindström (Eds © NATO CCD COE Publications, Tallinn Permission to make digital or hard copies of thi Add to Reading List Source URL: nsg.romeier.ch Language: English - Date: 2018-06-28 16:37:13 Cryptography Access control Papermaking Digital photography Digital watermarking Authentication Money forgery Watermark Convolutional code Cinavia
174	EUR 50M in growth capital for European Fintech founders Vienna, ; In a partnership with Raiffeisen Bank International and UNIQA Insurance Group, Speedinvest f will provide EUR 50M in funding for Late-Seed and Se Add to Reading List Source URL: www.elevator-ventures.com Language: English - Date: 2018-05-25 04:36:04 Finance Financial markets Financial technology Uniqa Insurance Group
175	Federal Department of Home Affairs FDHA Federal Social Insurance Office FSIO International Affairs Social Security for Posted Workers Add to Reading List Source URL: www.bsv.admin.ch Language: English Economy Money Finance Financial services European Economic Area Social programs European Free Trade Association Types of insurance Federal Insurance Contributions Act tax Health insurance Temporary work Unemployment benefits
176	1 TEN-TEN INTERNATIONAL NET, INC. OPERATIONS MANUAL Ten-Ten International Net, Inc. Operations Manual Add to Reading List Source URL: www.ten-ten.org Language: English - Date: 2018-10-09 08:30:16 Committees Meetings Parliamentary procedure Human behavior Law Board of directors Corporate law Culture Robert's Rules of Order United States corporate law Libertarian Party of Nevada Oklahoma State Election Board
177	Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:12 Theoretical computer science Formal methods French Institute for Research in Computer Science and Automation Computer science Verification Formal verification Software verification Mathematics Cognitive science
178	2018 17th ACM/IEEE International Conference on Information Processing in Sensor Networks Nanosecond-precision Time-of-Arrival Estimation for Aircraft Signals with low-cost SDR Receivers Roberto Calvo-Palomino Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2018-04-13 03:04:44 Electrical engineering Electronics Electromagnetism Digital signal processing Global Positioning System Multilateration Jitter Software-defined radio Modulation Analog-to-digital converter Radio receiver Radar
179	Federal Department of Home Affairs DFI Federal Social Insurance Office FSIO International Affairs Social Security for Posted Workers Add to Reading List Source URL: www.bsv.admin.ch Language: English Economy Employment classifications Social programs Types of insurance Labour law Economic integration European Single Market Health insurance Federal Insurance Contributions Act tax Unemployment benefits Insurance Temporary work

UPDATE